Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
161	Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:44 Software engineering Predicate logic Automated theorem proving Unification Higher-order abstract syntax Prolog Free variables and bound variables First-order logic Function Mathematics Mathematical logic Logic programming
162	αProlog User’s Guide & Language Reference Version 0.3 DRAFT Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:38 Lambda calculus Type theory Logic programming Formal methods Unification Higher-order abstract syntax Function Hindley–Milner Free variables and bound variables Mathematics Software engineering Theoretical computer science
163	A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Rose H. Abdul Rauf∗, Ulrich Berger, Anton Setzer‡† November 9, 2006 Abstract Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:49:57 Lambda calculus Models of computation Subroutines Logic in computer science Programming language semantics Denotational semantics Simply typed lambda calculus Higher-order function Type system Software engineering Theoretical computer science Mathematics
164	An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:18:48 Mathematical logic Type theory Logic in computer science Theory of computation Simply typed lambda calculus Free variables and bound variables Combinatory logic Type system Normalisation by evaluation Theoretical computer science Mathematics Lambda calculus
165	An introduction to deciding higher-order matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:38 Computer science Automata theory Formal methods Model checking Simply typed lambda calculus Model theory Finite-state machine Mathematical logic Lambda calculus Models of computation Theoretical computer science Theory of computation
166	Higher-Order Abstract Syntax∗ Frank Pfenning† Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-03 16:03:41 Type theory Lambda calculus Predicate logic Logic programming Higher-order abstract syntax Unification Free variables and bound variables Simply typed lambda calculus Hindley–Milner Mathematics Theoretical computer science Mathematical logic
167	The Bulletin of Symbolic Logic Volume 6, Number 2, June 2000 Add to Reading List Source URL: www.math.mcgill.ca Language: English - Date: 2006-06-17 16:44:59 Model theory Categorical logic Theoretical computer science Non-classical logic Category theory Higher-order logic Modal logic Type theory First-order logic Logic Mathematics Mathematical logic
168	Topology via higher-order intuitionistic logic Working version of 18th March 2004 These evolving notes will eventually be used to write a paper Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-10-07 09:46:28 Compact space Subbase Sheaf Continuous function Open set Topological space Sierpiński space Baire space Cover Topology General topology Topos
169	Higher-Order and Symbolic Computation, 13, 135–152, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2009-11-17 21:59:45 Symbol Entailment Greek alphabet Denotational semantics Continuation Goto Logic Control flow Software engineering
170	[removed]Supplementary Notes: Higher-Order Logic Robert Harper Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-01-05 16:58:46 Propositional calculus Predicate logic Universal quantification First-order logic Well-formed formula Existential quantification Negation Intuitionistic logic Proposition Logic Mathematical logic Quantification

UPDATE